$\forall$$x$, $y$:(:$\mathbb{Z}$ $\times$ $\mathbb{Z}$). $x$ $<$ $y$ $\in$ $\mathbb{P}$